International Conference on Logic Programming - PDFSEARCH.IO - Document Search Engine

International Conference on Logic Programming
Results: 45

#	Item
21	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
22	Jasmin Christian Blanchette 1 Personal Information Citizenship: Canadian Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-04-09 12:51:30 Automated theorem proving Isabelle Automated reasoning Proof assistant International Joint Conference on Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Association for Automated Reasoning Logic programming Blanchett Theoretical computer science Mathematics Applied mathematics
23	Final call for papers CONCUR 2003 The 14th International Conference on Concurrency Theory September 3-5, 2003, Marseille, France Add to Reading List Source URL: concur03.univ-mrs.fr Language: English - Date: 2003-03-25 12:02:49 Logic programming Computer science Computing Concurrency Communications protocol Mathematical logic
24	William E. Byrd http://webyrd.net/ Work Merrill Engineering Building, Room[removed]S Central Campus Drive University of Utah Add to Reading List Source URL: webyrd.net Language: English - Date: 2015-04-07 19:59:59 Programming paradigms Functional languages Daniel P. Friedman Logic programming Declarative programming International Conference on Functional Programming Programming language Friedman Prolog Software engineering Computing Computer programming
25	abstract Task Oriented Programming with Purely Compositional Interactive Vector Graphics Peter Achten Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Functional languages Generic programming Haskell Literate programming International Conference on Functional Programming Domain-specific language Combinatory logic ALGOL 68 Software engineering Computing Programming language theory
26	RTA 2008 19th International Conference on Rewriting Techniques and Applications July 15-17, 2008, Hagenberg, Austria The 19th International Conference on Rewriting Techniques and Applications (RTA[removed]is organised as p Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2008-05-21 04:32:19 Automated theorem proving International Conference on Rewriting Techniques and Applications Formal languages Logic in computer science Formal methods Logic programming Rewriting Hagenberg im Mühlkreis Bruno Buchberger Theoretical computer science Mathematics Applied mathematics
27	Minutes of the RTA&TLCA’14 business meetings RTA BM moderator: RTA SC members present: Georg Moser (RTA SC chair) Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2014-07-30 07:39:22 Federated Logic Conference Computer science Computing Functional programming International Conference on Functional Programming Texas Leadership Charter Academy
28	In Proceedings of the 19th International Conference on Inductive Logic Programming (ILP-09), Leuven, Belgium, July[removed]Speeding up Inference in Statistical Relational Learning by Clustering Similar Query Literals Lily Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-04-12 18:35:44 Artificial intelligence Bayesian statistics Logic programming Markov logic network Theoretical computer science Inference Probabilistic logic Clause Belief propagation Logic Science Mathematics
29	Ernest Davis Contact: Courant Institute of Mathematical Sciences 251 Mercer St. New York, NY 10012 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2015-03-06 17:07:25 Commonsense reasoning Cyc Logic programming Planner Qualitative reasoning Commonsense knowledge base International Joint Conference on Artificial Intelligence Spatial–temporal reasoning Association for the Advancement of Artificial Intelligence Artificial intelligence Reasoning Science
30	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science

UPDATE